Hmm. So in this world, actual magic is public knowledge?