conditional type 2 definition