All songs by Lorenzo da Ponte