inv

abstract var inv: Int