No randomness and correct output :)