S. KAMAL ABDALI is a computer scientist whose main interests are in symbolic computation and mathematical logic. As a side interest, he likes to translate scholarly and literary works into Urdu.