SCOP : pinf0 : a.6.1.2