Two species of Pokemon roam around the Case Quad: Urshifu and Alakazam. Every day, a random pair of Pokemon face each other and fight each other. Since Urshifu are stronger and Alakazam have magical powers, the outcome of a fight is always the same: If two Alakazam fight, one of the Alakazam dies and the other survives. If two Urshifu fight, both Urshifu die and a new Alakazam comes to existence. If an Urshifu and a Alakazam fight, the Alakazam dies and the Urshifu survives. At the beginning of the semester, there are m Alakazam and n Urshifu. There are m+n-1 days in a semester. Given m and n, identify the Pokemon who will remain at the end of the semester. (Hint: Describe the process using a loop and define a loop invariant.)