Pauli Wf def added