「LANAの形式化」というのが仮にあるとして、一応建前では

1) 3.11～3.12 のところにはギャップがある
2) それ以外ではギャップがない、最低でも矛盾がない

をみたすものでないと会見の内容と矛盾するが、2)がだめなんやろ。つまり「現時点で矛盾をうまない形式化」すらないんやろ。
少なくとも今の態度はそうとられても仕方ないやろ。