construct A
construct B
destruct A
destruct B