Formal Noise