wf / V ^ f: