Claim: Papua was formerly called Irian Barat.
Evidence: It was formerly called Irian Jaya -LRB- before that West Irian or Irian Barat -RRB- and comprised all of Indonesian New Guinea.