where a   ∈  A, and S  allows  C