iyi koti nini nini cyane an effective universality theorem places an upper bound on the smallest such t ntabwo ari amasegonda mirongo itatu gusa