Propositions as types by Steve Reeves | Lex | Lex