Title: Songs, duets, trios, and choruses in The mariners