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