I would point out that if the man and woman know each other that this might not encourage reporting. Imagine the woman reports a guy she’s been working with, they’re part of a team. He gets fired pretty soon after. The whole team knows she’s the reason he’s fired, they know she reported it, and they’re probably not going to want to work with her. If the boss liked the man better, there goes her prospects for raises let alone advancement in that company.