Unnecessary work not done ()