tiny-invariant