mod fermions; mod fermisum; mod pauli; mod pauliop; mod paulisum;