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