4 ms·

I interpreted "stronger" as "more constraining", which would mean the opposite: able to prove less statements.