Reading a Counter Example from the Tree