Add simons sequence property