Finite

fun Finite(usesLeft: Int)