Showcase of Contract First Design