"...by executive order 12333."