⁷Ad hoc overloading of attributes is allowed—internally they are considered to be completely different attributes that just happen to share a name. There can be subsort polymorphic overloading of attributes from different classes.