CAV principle | EXHAUSTO