Prop: inversion revisited
that's the end of the ev's