Update Precondition in AuthController