I think that's why he states it as a biconditional, which makes the exclusive restriction you're arguing is necessary