It seems like there's two ways to go from here -- abandon it, or formalize it. Just because formalizing a concept is difficult, that doesn't make it impossible

It seems like there's two ways to go from here -- abandon it, or formalize it. Just because formalizing a concept is difficult, that doesn't make it impossible. I think everyone agrees that there is _something_ that distinguishes lisps from other languages, even if it's hard to say exactly what it is.