peninvariant
not defined yet