Using Section 3 for Reverifications