No more implicit random