[Among adults with cardiovascular disease and BMI≥27kg/mbut no diabetes, does semaglutide lower risk of cardiovascular mortality, myocardial infarction, or stroke when compared with placebo, and is it safe?].