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