yes, I was thinking about the reportFailure, to be able to see it as soon as possible
if it can't be a forced invariant you should leave the reportFailure here as well