[haskellandchill]

I want to know it. I have to manipulate the mathematical objects computationally using proof techniques to know it. That just takes time. Thanks though.