Designs and Abstractions