Ask HN: Sorcerer, mage, wizard, magician, what's the difference?