|entries|logic-propositional|