ManifoldActiveMULTIPLE_CHOICE · cpmm-multi-1

Are Feldbrugge, Lehners, and Turok wrong about their paper?