This has come up briefly before on the forums, ... biconditionals, I tried to chain up the first two rules with ... the rest, and it ended up being a total mess. I ... , do we then have to write two versions of it when ... like if a biconditional comes up on an in-out game ...