ni nde se wa alegizandere mukuru ni we waba akamazi it has also recently become popular in formal logic under predicate abstraction rutemera ibinyamakuru by'abikorera urwego rwa rib