Post-formalism related domains (1)