Comment by epolanski Comment by epolanski 18 hours ago 0 replies Copy Link View on Hacker News Yes, a proof allows me to not have to handle the case at all.