@id:10733
$name:Non-starter decompositions