Carmack systematically trashes proceduralism