Getting closer to correctly implementing more advanced elimination
strategies