Stav dette: Fundamentals of Abstract Analysis