|entries|logic-justification|