 The terminology of indicative and subjunctive conditionals is also vexed, but it aims to get at a basic contrast which begins between two different forms of conditionals that can differ in truth value.  (3)  and  (4)  can differ in truth-value while holding fixed the world they are being evaluated  in.[2]