A Model for Understanding Understanding in Mathematics