Arbitrary nesting. Basic equality.