All days are nights. All nights are mornings A + A ⇒ A-type of Conclusion “All days are mornings.” This is Conclusion I. All evenings are nights All nights are mornings A + A ⇒ A-type of Conclusion“All evenings are mornings.” Conclusion II is Converse ofit.