let
is_universal (pureness: pureness) : bool =
pureness.pars = 0