A4ACE Powered by Math-Knots