They did not need to make Mabuchi's theme that good