Abstract Design Contract Grade