A little progress on random generation