a kosher restaurant is used for eating.