Edited Computation with Chips

Up through the first theorem.