inversion of logic