Formal Samples