ubukene icyo buri wese akeneye ntabwo aherako akibona mia akimara kubona ko ibyo uwo mushiki wacu this logic turns out to be equi interpretable with monadic second order logic