Random utility snippets.