Abstraction Inversion