we normally use the natural deductive form in place of the much longer axiomatic proof their informal nickname is the green and whites