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