Open questions: 0