updated heuristics to reflect monotonicity and smoothness.

Also fixed states to show correctly. Meow.