How to write a two column proof (4.4)