They’re for teaching sophomores, so I don’t think optimizations would help.