And there is a last reason, which is less rigorous but matters to us just as much. We write software because we enjoy writing software […] We are not interested in optimizing away the reason we do this.