Desirable difficulty

Desirable difficulties, after Bjork TODO merge