for A being QC-alphabet
for S being Element of QC-Sub-WFF A holds S = [(S `1),(S `2)]