9.2.4. Further properties