Added probability definitions.