/static/docs/verismith/verismith_thesis.pdf/