Buildling Foundations in Math by Joan Novelli