bad_seed_11‘s Following are private.