C ?- S .)