answer(reverse_nested_terms, [last, "bc", box(a)]).