conditional type 0 definition