Formalism related domains (4)