What is the formula of conditional type 2?