Circular: a self-circular inherited attribute
t() == false: true