This world didn't have magic before any of us arrived. I'm going to start writing down what I can, I think, both the theory of the different types that people use and accounts of the times magic has been used in a significant way, whether successfully or not.