Tag Selected: formal verification