That’s true. But the analogy is more correct if it said “Using Mypy to obtain…”