Finished ws12 and write-up