commitProjectCompleted_verifyAbstractionCalculus
commitLastToVerify