At the second step, since A(q) is proved, the second clause can be used and B(q) is added to the consequences.
На другом кораку, пошто је A(q) доказано, друга клаузула може користити и B(q) које је додато у последицама.