Title: Real and abstract analysis