Abstract Design Contract Grade F