1st draft complete

Need to add refinements for all of the open questions in the statement.