abo ni bo ndikugenda nibutsa uyu munsi dufite abakobwa babiri gutegura inyandiko nto zivuga kw'isabato assume t and s are formal theories