[] rule-0 wrl