Yesterday I referred to Thomas West as Thomas Woods. I regret the error. I’ve corrected the original post.