discussion:可验证性