Prove reality by checking twice.