What are some of the key terms of Smart’s theory of religion, and what do they mean? What are some of the examples Smart uses to illustrate and support his theories?