green-leaf lettuce, baby spinach, kale, and collard greens. These were sprayed with E. coli O157:H7, the strain most commonly ...