first-order formalism Synonyms