compared to other systems the proof building syntax is simplified and closer to natural language gaven is a devout catholic umuhungu muto wambaye ingofero yinka atwara ifarashi nini