Circular: two mutually circular attributes that terminate immediately
u() == false: true
v() == false: true