ChristianKl comments on Are smart contracts AI-complete?