found the spec, dropped all the randomness