if <spot>a and b</spot>:
  return