Smatchcube's website 🌍

Exercise 3.34

multiplier needs to know two values to deduce the third one. In the case of (mutliplier a a b), if b has a value we could compute the value of a but multiplier is not aware that the first two operands refer to the same variable hence the square root is not found. Louis squarer procedure would not work as expected.