Implementing smart algorithms are easy on paper, but unwanted complexities crop up always, at every level.

It's a great tar pit of Murphy's law and Hofstadter's law combined.