Propositional encoding

Summary