take COMPLEX ; :: thesis: COMPLEX is complex-containing
thus COMPLEX is complex-containing ; :: thesis: verum