Ending proof edit.
Tests/ General updates.