public void AddRef(Referee r) { if (!Refs.Contains(r)) { Refs.Add(r); } }
public void RemoveRef(Referee r) { if (Refs.Contains(r)) { Refs.Remove(r); } }