06 Counting by exhaustion