6.71 c . , pr nov.