Why is this precondition here and not for the other jars?