Question: Brian Henson and Pedro Costa have both worked what occupation?
Sentence (from "Brian Henson"): Brian Henson (born November 3, 1963, in New York City) is an American puppeteer, director, producer, technician, and the chairman of The Jim Henson Company.
Relevant evidence: Yes