Distribution of the Bin Kristus-formula.