(3) From 6.17