[Libretto.]