WF(0)