[PD] jmmmp Abstractions