towards correct design