same here, you need a precondition