Will Rafael Devers lead the MLB in Home Runs?

This market will resolve to "Yes" if Rafael Devers hits the greatest number of home runs of any player in the 2025 MLB Regular season. Otherwise, this market will resolve to "No". In the case of a tie between this player and another player(s) for the most home runs hit in the MLB Regular Season, this market will resolve in favor of the player who played the higher number of games. If there is still a tie, this market will resolve in favor of the player whose listed last name comes first alphabetically (i.e. in the case of a tie, Alonso would resolve to “Yes”, Soto would resolve to “No”). The primary resolution source for this market will be official information from the MLB. However, a consensus of credible reporting may also be used.