Question: Are Robert le diable and Ormindo both operas?
Answer: yes