SMS dit: Fundamentals of Abstract Analysis