Title: Interpreting Abstract Interpretations in Membership Equational Logic