It is not the case that Scotus's formal distinction, on which the real identity/formal non-identity framework depends, was rejected by Aquinas as introducing an illicit intermediate between real and conceptual distinctions.
?Set your confidence on the premises below to see your aggregate.