Local class field theory is easy
type: Person