Added verify.tex and ws1s.bib