pr-16s\geq 0