implement m:P5/\Q\E/