9.9.
Further properties