"Some New Tools for SLCM Verification," a Belfer Center Research Seminar with John Parmentola.