2012/09/06 23:51
basic logic

feels good to drink some green after seeing red in proof theory.