*** [andtoaig] cyclic definition for and gate 1