Feedback to my talks

* Check cognitive load theory
* Check whether iterative logic programming (or something like that) allows to usefully combine rule sets (proposal by Paul)
* be more specific about student's mastery, more detailed modelling of mastery (Dimitra)
* slide about assertion level proving - do not use "C" to label the conclusion
* Research question: does knowledge about granularity help student learning? (Erica)
* Need to justify my features (via theories?)