2 ms·

Not all formalisms are models of the world. Not all models are formalisms. But all formalisms are models.