Reframing laziness as efficiency