I don't see how this follows