invaders→□（must）die

ハビタブルゾーンに生きる名字がない君と名字があるまま生きる

◊￢die → ￢invaders（必ずしも死ぬわけではない者ならば侵略しない）と証明された

星人は死を遠ざける習慣を知らない　保険証はくれるよ

◊invaders ∧ ◊￢invaders（侵略者／非侵略者ともになり得る者）による非侵略を知るとき

星上のあらゆる人を管理する岩から氏名を削る触腕