Questions for maude-system