4.2 可验证表征