use simpler sv down syntax