Well said points Michael! Reasoning about your semantics and having the learning of the code be reified are certainly important. So then the question becomes h

Well said points Michael! Reasoning about your semantics and having the learning of the code be reified are certainly important. So then the question becomes how to incentivize helping that learnng