Proved the bind; under strong but still reasonable assumptions