3 ms·Not sure, to be honest. I guess anything you feel that displays the machinations of your proof.by pizza 5y agoNot sure, to be honest. I guess anything you feel that displays the machinations of your proof.