take <i> ; :: thesis: <i> is complex
thus <i> is complex ; :: thesis: verum