Uniqueness quantification (source code)

= Uniqueness quantification
{wiki=Uniqueness_quantification}