~(<<1>>G p \/ <<1>>G ~p)