[PD] Abstractions from jmmmp