Work in progress on invariants