CS182 PSO Week 06: Proofs, Algorithms, and Function Orders