Efficiency is the first virtue of engineers.