Seol mar théacs é seo: Sufficient Conditions for First−Order and Datalog Rewritability in ELU