The unknown is not empty. It is undiscovered. Look beyond the tool. Proof gives moments memory.