Dot does not satisfy Ord.

According to TPC.