Are The Knot Garden and Ariadne auf Naxos both operas?