Arven is later revealed to know quite a ... In reality, Professor Turo and Professor Sada each became victims of a battle between Koraidon or a battle between Miraidon, and only the AI remains.