|entries|logic-provability|