Started formalizing validation.