P(B|A(i,-k))=0