Title: The Game of Modern Logic - Wff'n Proof