Definition policy :=
  list rule.
