An explanation of propositional vs. implicative working memory · HackerTrans