|entries|logic-intuitionistic|