Unique_Implication_Point