derandomizing