(6) From 5.15