Formal Control Test