Formal approaches lead us not only to reconceive hard problems but also to ask new questions previously inconceivable or inexpressible.