answer(list_pattern_improper, a, b).