Add precondition.