: within ( x a b -- vlag )
  over -
  >r - r>
  u< ;
