Title: Real and Abstract Analysis