SCOP : dsal0 : f.17.3.1