Condition (3) need only hold for compatible observables (those jointly measurable in one arrangement...