2 ms·

I've been waiting for this for a long time. Hopefully, this will allow automatically proving some of unproven theorems.