uhereye igihe bemereye kristo kuruta igihe cyose babayeho batamufite a ground formula or ground clause is a formula without free variables