According to kosher dietary laws, what must be done with utensils used for non-kosher food?
- They can be used for kosher food as long as they are washed thoroughly
- They cannot be used for kosher food at all.
- They should be cleaned in a special ritual bath
- They should be thrown away if they touch non-kosher food.