is that a precondition?