Pex_worst behaviour