COND:AIDE now observes logged in semantics