Added |Aut| invariant code