derandomizations