pr0 > pr1
pr1 > pr0
pr3 > pr2
pr1 > pr2