|entries|logic-informal|