Correct System Design