То есть выходит, что ведьмы в этом ходу должны будут защищаться красной правдой от сейчас наблюдаемых записок?
А ещё интересно, будут ли предикаты с натуральными числами подчиняться этой декларации насчёт вещественных.