Doesn't the way OAI's proof is formulated essentially rule that out, in that as long as an alternative solution concerns option C, it'd have to live in this same solution space they carved out?