No, I don't get the precondition violation.