Added a design procedure that I think is correct.