I'm not sure how to phrase this, but it seems like there's some trade off between how easy it is to express a condition, and how easy it is to verify that it ho

I'm not sure how to phrase this, but it seems like there's some trade off between how easy it is to express a condition, and how easy it is to verify that it holds in an imperative language. One the one hand you have declarative languages, and on the other imperative languages. Not sure where I'm going with this, but I think there's something there.