(4) From 6.11