foundational mathematics via problem solving i