Corrected small error in design requirement 3.