Translating mrwz to bensteinberg