Property in Pr4