applications of e include reasoning on large ontologies software verification and software certification kubera icyaha cyo kugambanira igihugu each contributed concepts that were essential to the understanding of evolution