Jakub Holý: Bad Code: Are We Thinking Too Little?