Should this exclude nancy? going to be non-deterministic otherwise?