Common use of Accept Clause in Contracts

Accept. Accept δ(q, ([Wi]2,k, [Wi+1]2,k, ..., [Wf ]2,k)) where [W ]f +1,k = [af+1,1]ΦBΦ[df+1,1] where B A. Here [af+1,1], [df+1,1] denote one column of a, d marker respectively, here we deal with ▇▇▇▇▇▇▇▇▇ axiom set. • ∈ ∅ REJECT: Reject δ(q, ([Wi]2,k, [Wi+1]2,k..., [Wf ]2,k)) = . That is when δ is − −