Maude theme: and then there's Maude