Overall, if these propositions are taken in the essentialist reading, the proof we have given for their conversion works, the counter-arguments are not compelling, and the proper view must be that the conversion is correct. (Khûnajî Kashf [2010] 129.14–130.12)