For salad greens that have an ORC kosher symbol and say triple washed, do they need to be checked and washed? What is the Sephardic opinion on washing them?