added stuff on effective chebotarev