Abstractions 2018