Entering the laboratory…

induction-proof