updated specs for random set