Rests and tests from the inquiry into prototypes. Formal proofs through pregnant experiments on one's own body.