Sp26-CS-0170-M1-Computation Theory