Sorry, I wrote it at 2am and my girlfriend distracted me from finishing my thought. Maybe I shouldn't have hit "reply", but I did. Even so, a post making one point doesn't mean it's the author's only point or what they consider "just" the problem. Take it at face value, it was a post making a singular point: Solidity (Ethereum's language) is a bad language for writing contracts in, so it makes it difficult to consider Ethereum an example of problems with formalized/programmatic contracts.