Berger, M., & Mulligan, D. P. (2023). A modest proposal: explicit support for foundational pluralism (Version 0.2) [Computer software]. https://doi.org/10.48550/arXiv.2302.10137