Email Record: Introduction to abstract analysis /