derandomised