Title: Designs and contracts