Very impressive, however I fear that he doesn't cover specifically the issue of learning by heart theorems.