Propositional logical thinking compr.etc by Paris