for A being QC-alphabet holds still_not-bound_in (FALSUM A) = {}