The unknown is not empty. It is undiscovered. More creation raises the bar. Proof gives moments memory.