Не нравится мне это всё. Если Лава мирный, то эта казнь почти не даст особой информации.
Проблема еще в том, что оба кандидата на казнь могут быть довольно мирными.
Так что у нас проблема с определениями мафов.