I wonder why even introduce dungeon theme when it gets replaced by battle theme, and you never hear dungeon theme again?