Adoption of the other existing theory (that of Iris) suffices. Devising a new one really is unnecessary.
Adoption of the other existing theory (that of Iris) suffices. Devising a new one really is unnecessary.