Property specified by 4_1