overlap and bug in random-auto