Each pair of the TCR sequences wereidentified from a single PE-specific γδ T cell (from mouse spleen or human PBL) and verified by their ability to confer PE binding to Jurkat β-cells expressing the TCR, and/or by establishing γδ T cell clones, which bind PE (by FACS) and respond to PE stimulation.