Use PE abstractions