Infer failure for values
Actual meaningful inference