Mental fatigue is not the same as laziness.