... logical exhaustion and ...