a B C : S t / } p: