[2307.12051] Dyadic Existential Rules