Efficiency is a highly developed form of laziness.