Title: Introducing the Philosophy of Mathematical Practice