1: \begin{abstract}
2: The class of Guaranteed Scoring Games (GS) are two-player combinatorial games
3: with the property that Normal-play games (Conway et. al.) are ordered embedded into GS.
4: They include, as subclasses,
5: the scoring games considered by Milnor (1953), Ettinger (1996) and Johnson (2014).
6: We present the structure of GS and the techniques needed to analyze a sum of guaranteed games.
7: Firstly, GS form a partially ordered monoid, via defined Right- and Left-stops over the reals,
8: and with disjunctive sum as the operation. In fact, the structure is a quotient monoid
9: with partially ordered congruence classes. We show that there are four reductions that when applied,
10: in any order, give a unique representative for each congruence class. The monoid is not a group,
11: but in this paper we prove that if a game has an inverse it is obtained by `switching the players'.
12: The order relation between two games is defined by comparing their stops in \textit{any} disjunctive sum. Here, we demonstrate how to compare the games via a finite algorithm instead, extending ideas of Ettinger, and also Siegel (2013).
13: \end{abstract}
14: