(7) c + A-WA B = c \ (c + A \ c + A + B) 3 The instruction of WA is to conjoin the current context with the presuppostion A, and the resulting context is updated by the new information B.
c (= the current context) admits "A-WA B" only if c admits A and c + A admits B.