Strong form test function

An independent variable (IV) scheme P contains only monadic tests and assignments of the form y +- f(y) where f is a monadic function letter. Prove that given an IV scheme P we can effectively construct a strongly equivalent free IV scheme P. ... 

Another route to a methyl-branched derivative makes use of reductive cleavage of spiro epoxides ( ). The realization of this process was tested in the monosaccharide series. Hittig olefination of was used to form the exocyclic methylene compound 48. This sugar contains an inherent allyl alcohol fragmenC the chiral C-4 alcohol function of which should be idealy suited to determine the chirality of the epoxide to be formed by the Sharpless method. With tert-butvl hydroperoxide, titanium tetraisopropoxide and (-)-tartrate (for a "like mode" process) no reaction occured. After a number of attempts, the Sharpless method was abandoned and extended back to the well-established m-chloroperoxybenzoic acid epoxida-tion. The (3 )-epoxide was obtained stereospecifically in excellent yield (83%rT and this could be readily reduced to give the D-ribo compound 50. The exclusive formation of 49 is unexpected and may be associated with a strong ster chemical induction by the chiral centers at C-1, C-4, and C-5. 

A final consideration in the calculation of log Kow is the role of ionization. The reality is that many molecules (especially drugs) contain one, and often more, ionizable functional groups. Methods to calculate log Kow assume that a molecule is uncharged. When a compound with strongly acidic or basic groups is placed in a test environment, it is unlikely to remain in the unionized form calculations may need to take account of this. The degree of ionization is related to the pH of the test system and the intrinsic acid dissociation constant (pKa) of the molecule (see Section IV). 

---