Formal probe