Должно БЫТЬ и должно НЕ БЫТЬ. Разрешение противоречий приемами из базы ТРИЗ.
"Около двенадцати столетий назад, в 800 году, происходила коронация Карла Великого. По ритуалу возложить корону на Карла должен был папа римский.
Перед Карлом возникла нелегкая задача. Коронация была нужна для укрепления власти, поэтому политические соображения диктовали необходимость ее
проведения "по всей форме". С другой стороны, из-за политических же соображений было совершенно недопустимо, чтобы папа римский короновал Карла,
поскольку получалось, что папа выше императора: раз папа дал корону, он может когда-нибудь и забрать ее...
Четкое физическое противоречие. И Карл нашел способ его преодолеть. Если использовать современную терминологию, Карл разделил противоречивые
требования в пространстве и во времени. Когда папа протянул корону, Карл, не дожидаясь, пока корона будет возложена ему на голову, перехватил корону на
полдороге и надел ее своими руками!
Тысячу лет спустя, в декабре 1804 года, в парижском соборе Нотр-Дам происходила коронация Наполеона. И снова возникла аналогичная задача: корону
следовало принять... и не следовало. Но Наполеон уже знал прием преодоления этого противоречия, и как только Пий VII приподнял корону, Наполеон
перехватил ее - все произошло, как при коронации Карла Великого.
Альтшуллер Г.С., Сeлюцкий А.Б., Крылья для Икара: Как решать изобретательские задачи, Петрозаводск, "Карелия", 1980 г., с. 52-53.
источник ЭЛЕКТРОННАЯ КНИГА "ВВЕДЕНИЕ В ТРИЗ.
ОСНОВНЫЕ ПОНЯТИЯ И ПОДХОДЫ"
(ОФИЦИАЛЬНОЕ ИЗДАНИЕ ФОНДА Г.С. АЛЬТШУЛЛЕРА) https://altshuller.ru/e-books/