Updates with AUT-Laws