peninvariant

not defined yet