Cover letter for JML submission (1 Oct 2014).