Title: Monitoring mathematics