Random utility tools