Conditionals theory