13.6.5