13.2.1 函证的对象