Nicer unsplit consequence list.