> After due process via courts, deportation is justified.
Yes?
>> if (person.citizenStatus == illegal && person.citizenStatus in police.knowledge()) {
deport(person, police)
After due process citizen status is in police knowledge, right? So they're illegal, ICE knows it, and our flow chart says... deport.
Which condition do you believe is not satisfied? Do you believe the status of the person is not "illegal"? If so, why would we deport them? Or do you believe that the police are not aware of the person's citizenship status? If so how could we deport them?
> ICE is not the police.
Police (noun) [0]
1 a: the department of government concerned primarily with maintenance of public order, safety, and health and enforcement of laws and possessing executive, judicial, and legislative powers
b: the department of government charged with prevention, detection, and prosecution of public nuisances and crimes
United States Immigration and Customs Enforcement (aka ICE) [1]
a federal law enforcement agency under the U.S. Department of Homeland Security.
ICE is a LAW ENFORCEMENT AGENCY, they are de facto "police." I think you are confusing the fact that "police" is a broad term and because it is less common to deal with federal law enforcement you have a higher frequency of hearing local law enforcement being referred to as "the police". But they both are. "Police" == "Law Enforcement"
[0] https://www.merriam-webster.com/dictionary/police
[1] https://en.wikipedia.org/wiki/U.S._Immigration_and_Customs_E...