Appropriate to the argument: a spell-checker is useful, but only by definition if it is used. One can imagine the most perfect spell-checker in the world, but it becomes a spell-checker — that is, a thing which actually checks spelling — when it exists outside the imagination.
OK, existence