Circular: two mutually circular attributes that may require an iteration before termination
x() == true: true
y() == true: true