Proof for Design