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