Is equality possible, and if yes, is the resulting sort stable? In other words could it happen that in case of equality two nodes decide on different distinguished nodes?