First design proof