inversion split into negation and inversion