answer(append_to_improper_tail, "ab"||tail).