BUT WHAT IS Maude, REALLY?