ensure that no values are declared twice in inverse()