Abstractions

Introduction