driven to the point of abstraction LP