Better style of coding. Typechecking of propositions.