added VerifiedInvertible2