Added content to post: Intro to prop. logic