If all mathematicians are logical thinkers and some puzzle solvers are mathematicians, which statement(s) must be true?
I only
II only
III only
II and III only
None must be true