A major statement proved on the bases of axioms
The probability of all outcomes must sum to this number
Imported from external platform