Title: Learning math precisely