mathematical formalism Archive