fɔːɹ ˈɪnstəns, ɪt hˈæzbiːn ʃˈoʊn ðæt ˈɛndʒəlz θˈiəɹəm stˈɪl hˈoʊldz fɔːɹ lˈeɪbnɪz ˈældʒᵻbɹəz ænd ðˌæɾə wˈiːkɚ vˈɜːʒən ʌv lˈɛvimˈælsɛv θˈiəɹəm ˈɔːlsoʊ hˈoʊldz.
For instance, it has been shown that Engel's theorem still holds for Leibniz algebras and that a weaker version of Levi-Malcev theorem also holds.