however the s model had no changes the theorem is due to dmitry mirimanoff he faced masato again in masato's retirement match at the dynamite