7.18 c , pr dec.