The concept of a magic system seems to pose an inherent contradiction. Isn't magic supposed to be unknowable?