Formal Experiments