?. If-q, then ?(q, a) = q ?,A for all q ? Q I,A \ q ?,A and a ? ? b