This is the design specification