Revert "Revert "Add jml's article into the intro list""
Revert "Revert "Add jml's article into the intro list""

This reverts commit 740f8c32c3a1556030aeaa1d64014efed61b3320.

HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io