lambda P2Vl ` 6 ;pS3

