|entries|logic-algebraic-propositional|