p161頁，5.3節完。可以編輯tickets了。