construct A
construct B
destruct B
destruct A