What Remains When Nothing Is Proved