Users

Tie-Scalar-Random is not used by other distributions.