Beginnings of second validation theorem.