Search: A two-column proof uses a visual representation of the logical