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)