Start working on the calculus with explicit memory.