SCOP : mthe0 : d.17.1.6