Claiming NP ∩ coNP membership conflates the existence of efficient verification with the existence o...