9.9. Further properties