Property (7)