ProAct.prob spec doesn't use isProVal anymore.