Random variable definition.