Modification of Leyster's The Proposition