Simons implementation