Dave normal form to standard form

11 years ago