...
so our rule says when F out -->G out ... br />
We know what happens when F is out, but what ... a rule about what happens when F is in. (But ... it wants to be, our rules don't trigger anythings, so ... figure out the possibility for when when F is in.
< ...