Page "Degenerate distribution#Constant random variable" not found :(