Imp works in Maude