> toggle := G( (~p & X~p -> XXp & XXXp) & (p & Xp -> XX~p & XXX~p) );
> init := ~p & X~p;
> show( init & toggle );