From 6.54