#!EFEG((int.state:go3)+(int.state:go4));
AG AF(!(int.state=go3)*!(int.state=go4));