File "stdin", line 4, characters 0-1:
Error: No product even after head-reduction.