Т1. Мы можем найти только поверхностные баги, потому что все найденные баги поверхностные.
Т2. Мы не можем найти серьезные баги, потому что все ненайденные баги серьезные.
Т3. Следствие: серьезных багов все равно не найти, а за поверхностными гоняться смысла нет.