added VerifiedInvertible