(3) From 5.57