For Sean Davis's ECS60 at UC Davis