Left examples have the keyword "-countablyinfinite" on the OEBP.
Left examples here are Problems with infinite possible relevant left examples but for which a finite algorithm could be determined to generate them all (given unlimited time).
Right examples here are Problems for which no such algorithm can exist. |