Exactly, which shows review and prod both miss things. Mutation testing (Stryker, mutmut, PIT) is how you find out which tests can’t fail.