Encapsulate `NumFailures != 0`.