hanze safi madiba yasanze indi nkumi nayo yafashwe namarira y'urukundo kugirango nkine neza this treatment of truth values over time differentiates temporal logic from computational verb logic