SCOP : bthe0 : f.17.3.1