Согласованная с отношением порядка копроекция вычислимых мер не всегда вычислима

В статье приводится пример двух сравнимых (т.е. являющихся проекциями меры на последовательностях в алфавите пар символов, запрещающей пары, у которых первый член меньше второго) вычислимых вероятностных мер на бесконечных последовательностях из нулей и единиц, при этом любая такая копроекция невычислима.