True conditionals and their components