an fbi informant is not the same thing as an fbi employee.
Really? They get paid out of the same checkbook.