abstractions spring 2013