Người sử dụng nhận được CRP, kiểm tra tình trạng (10,62). Phương trình (10,62) là một điều kiện đủ cho bất kỳ người dùng nào là một người sử dụng hữu ích cho người dùng A.
Người dùng nhận được CRP, kiểm tra điều kiện (10.62). Phương trình (10.62) là điều kiện đủ cho bất kỳ người sử dụng có một người sử dụng hữu ích cho người dùng A.