logic notes continued