n-ary and for indistinguishability on states.

Hopefully the precendence of ==> will still be ok.