answer(append_to_improper_tail, [a, b | tail]).