Bilaniuk-2017-Purism and pluralism-proofs-ed.pdf