added stochasticity to spec