Sempl(C-A)