Positives(F_Rat) is Ordering of F_Rat ;