Pre Abstraction