Bridge to abstract mathematics