Small distinction that does not detract from your excellent point: the question is not about laziness vs. strictness since any reasonably large program uses bot

Small distinction that does not detract from your excellent point: the question is not about laziness vs. strictness since any reasonably large program uses both extensively. Rather, it is about the properties of laziness or strictness as a default evaluation strategy.