deterministic tools in non-deterministic systems