"Mathmetician is not a type, it's an instance of the types /people/profession and /fictional..."