An explanation of propositional vs. implicative working memory | Hacker News Reader