3. Convenience is not necessarily contradictory to learning. Friction is not necessarily a pre-requisite. We want _quick_ and _lasting_ learning which is both _correct_ and _applicable_ to other contexts

2. Good teaching is, at its core, conveying the _intuition_ of the algorithm in a way that is most readily captured by the learner's existing mental models.

1. We need now, more than ever, to separate the task of learning from the task of proving that you know how to do something. They used to be one-in-the-same.