EXHAUSTS LOGIC