Proving the Same Thing Over and Over Again: Summer School 2014