I think this should be something more generic like: <b>A parent for an order type can't also be its ancestor</b>