Title: Foundational Studies in Mathematics Package