Updated cuts
Merge branch 'gae' of github.com:CurryBoy/Peirce-Logic into gae