System Core for Mathematicians (tied for 4th, top ranked HB)