Notes for AKT-091001-1/0:15:44

Claim: $\mathcal{A}^t(O) = \mathcal{A}^t(|)$
Pf: essentially same as $\mathcal{A}(O) = \mathcal{A}(|)$ (close/open the loop, apply the relations to prove 'open' is well defined)