SCOP : sloi0 : d.17.4.9