|entries|logic-higher-order|