okay, thanks. I dimly remember corners where it matters which of the equal ones we take ;-)