q4.23についての記述を追加。及びs1の処理系についてテストを書くことを試みた。