<p>who decided to call it the myth of theseus and the minotaur and not &quot;bull-terminated string&quot;</p>