(Схема) Хвостовое рекурсивное модульное возведение в степень

У меня есть задание сделать функцию хвостовой рекурсии, которая принимает 3 целых числа (возможно, очень больших), p q и r и вычисляет модуль деления (p ^ q)/r. Я понял, как сделать функцию, которая достигает цели, но не является хвостовой рекурсией.

(define (mod-exp p q r)
  (if (= 0 p)
      0
      (if (= 0 q)
          1
          (if (= 0 (remainder r 2))
              (remainder (* (mod-exp p (quotient q 2) r)
                            (mod-exp p (quotient q 2) r))
                         r)
              (remainder (* (remainder p r)
                            (remainder (mod-exp p (- q 1) r) r))
                         r)))))

Мне трудно обдумать, как сделать эту хвостовую рекурсию, я не понимаю, как я могу «накапливать» остаток. Я в значительной степени ограничен использованием основных математических операторов, частного и остатка для этой задачи.