3 ms·> it's sufficient for them to have been chosen so as to be decidably comparable. Indeed. :-)by catnaroek 11y ago> it's sufficient for them to have been chosen so as to be decidably comparable. Indeed. :-)