work towards removing duplicates, found more problems with
non-determinism