improved assignment-consistent