Has proof set-suggest design improvement