Why would you use mathematics or computer science to ascertain whether someone has been corrupted by a government agency?