Definitely not by asking a non-deterministic tool to do it for you.