Minor edits to finished research pages; removal of Security Constraint under Protocols
Added checklist to template, added 17
Added 17, finished proof in 34