source: IF X-Y PROVE TO BE DESC-INSUFFICIENT , X-WE MUST CONTINUE WORK TO DESC-FURR X-WE DESC-COLLECTIVE REDUCTION .
  
target: if they prove to be insufficient , we must continue working to further our collective reductions .
  