Behind the scenes with PMDP