Closer to preferred model because stated in your own terms. It
may be impossible to state the model in words, but it is still a
representation, not the real thing, so it is a model.
You can use personal shortcuts, you don't have to prove
everything.
Results in formal models are more reliable than results in
informal models.