haʊˈɛvɚ, ɪt stˈɪl kəntˈeɪnz sˌʌm ɹᵻdˈʌndənsi: ðɪs sˈɛt ɪz nˌɑːɾə mˈɪnɪməl fˈʌŋkʃənəli kəmplˈiːt sˈɛt, bɪkˈʌz ðə kəndˈɪʃənəl ænd baɪkəndˈɪʃənəl kæn biː dᵻfˈaɪnd ɪn tˈɜːmz ʌvðɪ ˈʌðɚ kənˈɛktɪvz æz
However, it still contains some redundancy: this set is not a minimal functionally complete set, because the conditional and biconditional can be defined in terms of the other connectives as