. "shortest way to justify M is to point at once to an instance" . . .