The unknown is not empty. It is undiscovered. New methods need scrutiny. Proof gives moments memory.