Describir: Adequate Conditionals and Kripke's Theory of Truth.