Topics Related to Concepts, NPC and Prop: