Session on a rooftop with Maude