Equivalently, the diamond may be considered as a set of pitch classes, where a pitch class is an equivalence class of pitches under octave equivalence.
In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being always computable.