“Thomas Edison, George Westinghouse, and the invention of the electric chair”