Guys are less inclined to get HIV through vaginal sex if they’re circumcised.