|entries|logic-classical|