9.3.8.
Further properties