i.e. one is defined as the parent of another, but that other is defined as the parent of the first