Dengyishuo's notes on R.