Arthur Milchior comments on How I use Anki to learn mathematics