1We do not display the ‘>’ symbol that Maude adds at the beginning of each line.