An overiew of the theory of abstraction in context, a student's ablity to structure mathematical knowledge, introspection