derandomizes