Meh, that&#x27;s an odd statement since it unifies the classes of bugs which pass varying qualities of (1) and (2). Certainly, &quot;what&#x27;s true of all bugs (seen in production) is that they passed the unit tests and type checkers levied against them&quot; is nearly tautological, but leaving out those classifiers makes it into a much less meaningful statement.