players may only collect tribute when in control of their home province uhoraho atetse ijabiro ari umwami iteka because these three properties are not formally stated the church turing thesis cannot be proved