Sp25-CS-0170-M1-Computation Theory