Completed a version of language that passes assertions