An elementary transition to abstract mathematics. (2019)