module Formalism