lericson

det finns ett X så att X är en person och X har ett paraply
	person(X), har(X, paraply).

det finns ett X så att om X är en person så har X ett paraply
	person(X) -> har(X, paraply).

    det finns inte ett X så att X inte har ett paraply
<=> för alla X som är en person så har X ett paraply
	not(person(X), not(har(X, paraply)).

lericson

fun! JumpPreviousBuffer()
  let [jumplist, curjump] = getjumplist()
  let tgtjump = curjump - 1
  while 0 <= tgtjump && jumplist[tgtjump]['bufnr'] == bufnr()
    let tgtjump -= 1
  endwhile
  if tgtjump < 0
    echoerr 'No previous buffer in jumplist'
    return
  endif