Co-authored-by: Michael Davis <mcarsondavis@gmail.com> Co-authored-by: abra <abra@KadaZen.fritz.box>
INVARIANT