I understand the whole formal logic chain, pretty simple, however I do not understand why the last sentence is added to the end of the chain (a necessary condition) when the sentence starts out as 'The only', which implies sufficiency. Not sure for legal ...