於是這個部分就等於是操作型定義了