Rest in peace, Jim Simons