Part 3 completed. Classes must be in the MathLogic package to run