Email Record: Fundamentals of abstract analysis /