Type 0 1 2 3 conditionals