9.3.8. Further properties