unify propagate
declass calc update helpers