and annotated by R.