Entering the laboratory…

proof-by-contradiction