finished first subsection in validity chapter