Intuitive Formalism in Contract