Added non-deterministic strategies.