add example that not fullfill total order constraint.