Done with no-neg-list-std-helper + a few other things