4 ms·Time to fire up Coq and really prove it.by foobarbazoo 16y agoTime to fire up Coq and really prove it.shadowfox 16y agoMy great grandchildren will be looking forward to the results :P