[ This post, unfortunately, was accidentally deleted in a server crash and has not been recovered. Maybe someday Dr. Leithart will rewrite it. ]