This one was the game changer for me:

Dead Time = time spent on activities that don’t require too much mental effort which you can eliminate at the moment, but can be used more productively.