disc cond. = EX

case cond. = EX