[joel_ms]

Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0]

[0] https://en.wikipedia.org/wiki/Hoare_logic