Email Record: A study in derived algebraic geometry /