for C being initialized ConstructorSignature
for a being quasi-adjective of C holds Non a <> a