Before revision:  We show that our architectureallows incorporating domain-specific inductive biases and that it is strictly more expressive than the WL test  .
After revision:  We show that our architectureallows incorporating domain-specific inductive biases and that it is strictly more expressive than the WL test , and provide sufficient conditions for universality .