On n-saturated closed graphs, or randomness in the service of her majesty logic