Conditional Types 0, I, II