Assumption Free

No assume mode · verify before name · proof on disk · Signal 336