formalism explained