オプションの制限のコメントを削除しました．