Be careful about using these wide inferential steps as an example. It is much easier to see certain consequences from a model than it is to prove consequences generated by a different model. It is a much better idea to practice deriving a (possibly different) set of consequences from a result you are comfortable with. This will give you a better idea of his intellect. Leading mathematicians often seem so much farther ahead than others because they are less constrained by the paths of other people.
Be careful about using these wide inferential steps as an example. It is much easier to see certain consequences from a model than it is to prove consequences generated by a different model. It is a much better idea to practice deriving a (possibly different) set of consequences from a result you are comfortable with. This will give you a better idea of his intellect. Leading mathematicians often seem so much farther ahead than others because they are less constrained by the paths of other people.