Defence in depth is a time-tested strategy in some technical fields, such as cybersecurity or nuclear reactor technology. In view of potentially devasting consequences of exponential growth, the implementation of such a strategy is almost self-evident in this case. Less obvious is a formal...