A fantasy game show host has to organize a fantasy game among nine contestants: three Mistborns - Ishmam, Labib, Arfan and six Rithmatist - Arnab, Rajon, Imran, Osman, Aszad, and Wahid. Two teams - The Reckoners and The Legion will be organized. The Reckoners will have four members while The Legion will have five. Membership assignment to teams is subject to the following constraints: Ishmam and Arnab cannot be on the same team. If Rajon is on the same team as Aszad, then Arfan must be on the opposite team. Osman and Rajon must be on the same team. Imran and Aszad cannot be on the same team. There must be exactly two Mistborns in The Reckoners. If Ishmam, Imran, and Wahid are in The Reckoners, which of the following must be true?