iris.sty incompatible with acmart
\nequiv macro in
iris.sty clashes with something that is import by the
acm template. In our own papers, we work around this by undefining
\nequiv locally, but that's not great.
We should either always overwrite whatever the existing
\nequiv is, or else change the name of our macro.