Working on non-deterministic matches.