The vindication of intuitionism from topos theory rests not merely on open set logic being supported...