let
is_mixed (pureness: pureness) : bool =
pureness.vars > 0
&&
pureness.pars > 0