Fair_Games_Theorem.Stopped_Value_Integration