old_s_squared MOD P