因为 is 和 ought 是 负胶片 的关系 就像卯榫结构一样 你 ought 的 priors 的补，就是 is 的priors