not this kind of non-deterministic tool though.