Towards a computational theory of algebraic competence. · Study