Long-term Research • Source language which can be compiled • Structured source language which to both legal prose and executable code is itself admissible in court • Compiled legal prose is admissible in • Language can be compiled into court executable code 75