What surname do Bobby, John and Teddy have in common?