10.1.6. Further properties