.
spinit wfol