 EPR point out that position and momentum cannot be measured simultaneously. So even if each can be shown to be definite in distinct contexts of measurement, can both be definite at the same time? The lemma answers “yes”. What drives the argument is locality, which functions logically to decontextualize the reality of Niels’ system from goings on at Albert’s. Accordingly, measurements made on Albert’s system are probative for features corresponding to the real state of Niels’ system but not determinative of them. Thus even without measuring Albert’s system, features corresponding to the real state of Niels’ system remain in place. Among those features are a definite position and a definite momentum for Niels’ system along some particular coordinate direction.