Current Version: Elaboration Iteration 2, In-progress