-WF|`Relax^