?. @bullet-Í-?í¼,-Í-?í¼-env and . {·}, ? í µí¼ , í µí¼ ' : Var ? K labeling of variables with knowledge, ? Env : Var ? Val for dynamic analysis, ? · "empty" environment for static analysis