This supplement to "Generators and Relations for Real Stabilizer Operators" establishes that the reduced relations of Definition 5.6 imply the typed relations of Definition 5.1 (as listed in the 8 figures, from Figure 3 to Figure 10 in Appendix B).