²Again, possibly modulo equational attributes $A\subseteq E\cup G$.