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