Highlights for JML submission (1 Oct 2014).