1689_GILSON_THE_BINARY_RULE_Type_III