Broke out the proof files to save time with tacticals.