2 ms·His proof format is amazing. I've used it ever since I discovered it in one of the last EWDs.by User23 6y agoHis proof format is amazing. I've used it ever since I discovered it in one of the last EWDs.