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