Diatonic set theory