More updates on Logic chapter