|entries|connectives-logic|