How many theoretical computer scientists does it take to change a light bulb?

We don't know precisely, but we conjecture it is linear in the number of lamps.