Precondition for negotiateSub