Опубликованный пакет / CLIR

Сопоставление трёх моделей движения света и тел: восемь объявленных вопросов, три раздельных вывода (предпосылки, предсказания, согласие с наблюдением), полнота по покрытию вопросов без требования расхождения, запрет на вывод универсальной эквивалентности из совпадения на одной постановке