!( 
(plain<0> = 1 ^ plain<0>G = 0) * 
(plain<1> = 1 ^ plain<1>G = 0) * 
(plain<2> = 1 ^ plain<2>G = 0) * 
(plain<3> = 1 ^ plain<3>G = 0) * 
(plain<4> = 1 ^ plain<4>G = 0) * 
(plain<5> = 1 ^ plain<5>G = 0) * 
(plain<6> = 1 ^ plain<6>G = 0) * 
(plain<7> = 1 ^ plain<7>G = 0)
);