A new UCBLA Maude team!