Erin McKeown proof