##article.return## Revisiting MA vs. ∃ · BPP: A Functional Analogue Download Download PDF