Use lexenv-policy