Mitsubishi PE 2015 (extended version)