|entries|logic-substructural|