answer(once_preserves_binding, a).