When someone @ mentions you in a comment/annotation on a Hive proof, you get a Hive email notification, but there's zero context aside from the document title and who mentioned you. On the other hand, when someone @ mentions you in a comment on a card/subaction, the email notification includes the project title, the actual comment you were tagged in, previous comments for context and time stamps. This is crucial information to include in email notifications for proof mentions, too, so we know whether the comment is something we NEED to weigh in on, something that's just an FYI and not urgent, etc. Currently, it's simply another email bogging down the inbox requiring us to take another step (going into the proof ourselves) to determine all of the above — and that's not an efficient way to work.