probability sum