Re: [PD] Abstractions from jmmmp