what is michael fox’s middle name