More updates in Logic chapter