Квадратор

Хьюго Дум хочет построить квадратор, блок-ограничение с двумя выводами, такое, что значение соединителя b на втором выводе всегда будет равно квадрату значения соединителя a на первом выводе. Он предлагает следующее простое устройство на основе умножителя:

(define (squarer a b)
  (multiplier a a b))

В такой идее есть существенная ошибка. Объясните ее.

---