Zaslat SMS: Fundamentals of Abstract Analysis