an effective universality theorem places an upper bound on the smallest such t imyambarire ye ni iy'icyubahiro ariko imvugo n'imyitwarire ye ni ibya clown