An alternate formulation of Kripke's theory of truth