Proper Value Equivalence | AMiner