2 ms·

I wouldn't call it "struggle", but it does seem better at proving "there exists" statements than proving "for all" statements.