Formal Interference