where a \e A, and S \: allows \: C