>some people think that the difficulty in implementing something is because it requires code On the contrary, being forced to clarify your thoughts under the c

>some people think that the difficulty in implementing something is because it requires code On the contrary, being forced to clarify your thoughts under the constraints of a formal language, and be able to execute and test them, helps tremendously to figure out what you actually can do and want to do, even more so when the problem is complex (and excluding already well understood tasks).