AI company proportionality argument failed discovery demands