User defined positive vector of random variables

Great, thanks. I didn’t bother to check that 10 is not (10,).