You have chosen Reals by Abstraction, There is no a Priori and Reals by Abstraction.
All three must be different; choose another text.