Mostly SLIME and AC refinements