The interdefinitions run thus: sentences are synonymous if and only if their biconditional formed by oining them with 'if and only if' is analytic, and a sentence is analytic if and only if synonymous with self conditionals 'If then.