An Under-Appreciated Fact: We Don't Know How We Program