... whole formal logic chain, pretty simple, however I do not understand why ... to the end of the chain (a necessary condition) when ... The only', which implies sufficiency. Not sure for legal reasons if ... you are correct - please do not post the entire actual question ...