proto cond+inter