Intro to logic: Laws of logic (Part II)