Proper Value Equivalence