[A] Abstraction Tutorial