FinalFormal2 comments on Building intuition with spaced repetition systems