ɪt tˈɜːnz ˈaʊt ðæt ˈɛvɹi bˈaɪnɚɹi kənˈɛktɪv kæn biː dᵻfˈaɪnd ɪn tˈɜːmz ʌv , sˌoʊ ðɪs sˈɛt ɪz fˈʌŋkʃənəli kəmplˈiːt.
It turns out that every binary connective can be defined in terms of , so this set is functionally complete.