Errett Bishop argued that non-standard analysis obscures constructive content by trafficking in idea...