conditionally detectable failure