Practicing Reasons for a 2-column proof