詳細は7.10.2 項を参照。