refined failure condition