fun drJeep(x,y) =
  if size x < size y then
    false
  else
    String.substring(x,size x - size y, size y) = y