Text this: A formal analysis of conditionals.