some invariants