(randomly seeded; refresh to regenerate)