Let $w>wp(S,q),$ and let $S$ be a deterministic program. For each of the following predicates, decide whether

it is true or false and justify your answer briefly.

a$.|=={?}_{\text{t}\text{o}\text{t}}\{w\}S\{q\}.$

b$.|==\{w^{{?}^{?}}q\}S\{q\}.$

c$.EE.(w{)}^{{?}^{?}}(|==\{w\}S\{q\}).$

d$.AA.(|==w)(M(S,)|==q).$

e$.AA.(|==$notw$)(|=={?}_{\text{t}\text{o}\text{t}}\{notw\}S\{notq\}).$