Add first-order logic notes.