Algebraic Simplication. AIM-005

purl.stanford.edu/jk338hq3696