Search: What are the missing reasons in the two-column proof Given: