Youre just confirming what I said.
And the initial report was E-Verify, which later changed.
E-verify is not broken, which is what you said.