9.5.5c