invars
