Formalize Executive policy