P=? [ true U s=3 ]