I knew someone who missed out on a gold medal at the International Olympiad of Informatics because his sort comparator didn’t have a total order.