Left examples have the keyword "orderedpair" on the OEBP.
Right examples have the keyword "unorderedpair" on the OEBP.
The world is left-BP563.
Pairwise comparison Problems in which the two objects are of different types are always left examples.
Left examples have the keyword "ordered_pair" on the OEBP.
Right examples have the keyword "unordered_pair" on the OEBP.
Problems in which the two objects are of different types are always left examples.