SCOP : lthe0 : d.17.6.3