Finished language implementation section