i nyamagumba mu karere ka musanze many complexity classes are defined using the concept of a reduction many feasts also have their own prokeimena