Fa24-CS-0170-M1-Computation Theory