Added Aut invariant into schema