Abstractions Paper