If they think that, they've been bamboozled by someone trying to sell them something: There is no useful smart contract that can't be expressed as statement in

If they think that, they've been bamboozled by someone trying to sell them something: There is no useful smart contract that can't be expressed as statement in a total language. (as transactions that take an infinite or undecidable time to validate aren't useful) Turing completeness is a complete red-hearing in this application space.