Today’s lesson: “What is laziness”