The formal math takes a few months to learn. He is more than smart enough to figure that out.